1. Formal modeling and analysis of timed systems :
Author: Uli Fahrenberg, Stavros Tripakis (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
Classification :
QA76
.
9
.
C65
F67
2011
2. 23, 2011. Proceedings-Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21
Author: / Francois Kempf, Marius Bozga, Oded Maler (auth.), Uli Fahrenberg, Stavros Tripakis (eds.)-Jean
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
